(and (= (/ 2 4) 0) 
     (= (/ 2 4.0) 0.5))
